/* XPM */
static char * down_pushed_xpm[] = {
"8 12 4 1",
" 	c none",
".	c gray45",
"X	c gray90",
"O	c gray60",
"........",
".OOOOOOX",
" .OOOOX ",
" .OOOOX ",
"  .OOX  ",
"  .OOX  ",
"   OX   ",
"   OX   ",
"        ",
"        ",
"        ",
"        "};
